nLab Goursat theorem

Redirected from "Goursat's theorem".
Note: Goursat theorem and Goursat theorem both redirect for "Goursat's theorem".
The Goursat theorem

The Goursat theorem

Idea

In complex analysis, the Goursat theorem is the extension (due to Édouard Goursat) of the Cauchy integral theorem from continuously differentiable functions (for which Augustin Cauchy had proved it) to differentiable functions (which requires a harder and more technical argument). Given Cauchy’s other work, the immediate corollary is that every differentiable function is in fact analytic; see holomorphic function. This corollary may also be viewed as the Goursat theorem; everything else in the basic theory of holomorphic functions is due to Cauchy, while Goursat's contribution was to remove the hypothesis that the derivative of such a function must be continuous. On the other hand, the Goursat theorem may be seen as not a new theorem at all; from this perspective, Cauchy had always intended to prove his integral theorem for all complex-differentiable functions, and Goursat simply filled in a gap in Cauchy's proof. But as Goursat was born the year after Cauchy died, that was a long-standing gap!

Statements

Let UU be an open subset of the complex plane \mathbb{C} and let f:Uf\colon U \to \mathbb{C} be a complex-differentiable function; that is,

f(ζ)lim zζf(z)f(ζ)zζ f'(\zeta) \coloneqq \lim_{z \to \zeta} \frac{f(z) - f(\zeta)}{z - \zeta}

exists for every point ζ\zeta in UU. Then any of the following conclusions may be thought of as the Goursat theorem:

Theorem

The function f:Uf'\colon U \to \mathbb{C} is continuous. That is, ff is continuously differentiable.

Theorem

Given any point ζ\zeta in UU and any rectangle (or triangle) CC in UU whose inside contains ζ\zeta and is contained in UU, the contour integral

Cf(z)dz=0. \oint_C f(z) \,\mathrm{d}z = 0 .

That is, the Cauchy integral theorem holds for ff on rectangles (or triangles).

Theorem

Given any point ζ\zeta in UU and any Jordan curve CC in UU whose inside contains ζ\zeta and is contained in UU, the contour integral

Cf(z)dz=0. \oint_C f(z) \,\mathrm{d}z = 0 .

That is, the Cauchy integral theorem holds for ff.

Theorem

Given any point ζ\zeta in UU and any Jordan curve CC in UU whose inside contains ζ\zeta and is contained in UU, the contour integral

Cf(z)zζdz=2πif(ζ). \oint_C \frac{f(z)}{z - \zeta} \,\mathrm{d}z = 2\pi\mathrm{i}f(\zeta) .

That is, the Cauchy integral formula holds for ff.

Theorem

Given any point ζ\zeta in UU, there is an infinite sequence (c 0,c 1,)(c_0, c_1, \ldots) such that

f(z)= ic i(zζ) i f(z) = \sum_i c_i (z - \zeta)^i

on some neighbourhood of ζ\zeta contained in UU. That is, the function ff is analytic.

Cauchy had established that the conclusion of each of these theorems implied the conclusion of the next (except that he did not bother with Theorem ), and it's immediate that the last implies the first, so from the perspective of Goursat's time, these theorems are all equivalent. Goursat actually introduced his proof for Theorem , which is of interest only because Goursat's proof naturally gives it. Since Goursat was the first to call attention to it, one might call Theorem specifically Goursat's Theorem, even though it is more of a lemma (for Theorem ) than a theorem in its own right. (One might call Theorem ‘Goursat's Lemma’, but that is already used for an unrelated result about pullbacks in group theory.)

Proof

Here's a version for Theorem : https://planetmath.org/proofofgoursatstheorem

Last revised on September 17, 2018 at 08:50:53. See the history of this page for a list of all contributions to it.